Model-Based Contract Testing of Graphical User Interfaces
نویسندگان
چکیده
منابع مشابه
Input Contract Testing of Graphical User Interfaces
User inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-ba...
متن کاملFinite-State Testing of Graphical User Interfaces
The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalabilit...
متن کاملAutomated Testing of Graphical User Interfaces
The aim of this paper is to evaluate tools used for testing of graphical user interfaces, in the context of a course (EDA260) at Lund University. It provides a brief overview over some of the existing tools for automated testing of Java-based graphical user interfaces, while focusing on one tool in particular – Abbot. It takes a look at some best-practices and the challenges that have occurred ...
متن کاملModel Checking Graphical User Interfaces
Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...
متن کاملModel-Based Testing of Enterprise System Architecture via Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems need dedicated methods to tackle its special features. As manual testing is not capable to systematically test ERP systems due to the concerned complexity. So, an efficient testing approach should be required to automate such type of secured systems. Since the original business processes of enterprise systems are rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2015
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2014edp7364